1261. Web services and formal methods :
پدیدآورنده : Mario Bravetti, Tevfik Bultan (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Web services, Congresses.
رده :
TK5105
.
88813
.
W74
2011
1262. Web services and formal methods :
پدیدآورنده : Marco Carbone, Jean-Marc Petit (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
1263. Wireless and satellite systems :
پدیدآورنده : Min Jia, Qing Guo, Weixiao Meng (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Wireless communication systems, Congresses.,Wireless communication systems.
رده :
TK5103
.
2
1264. agent systems V-Software engineering for multi
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1265. based software engineering-Component
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Component software ; Congresses. ;
1266. based software engineering-Component
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
1267. based software engineering :-Knowledge
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
1268. based software engineering :-Search
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
1269. based software engineering :-Search
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses. ;
1270. focused software process improvement :-Product
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
1271. oriented software engineering VI-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1272. oriented software engineering VII-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1273. oriented software engineering VIII-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1274. 3rd IEEE Symposium on Application-Specific Software Engineering Technology: proceedings, March 24-25, 2000, Richardson, Texas
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Application software,Congresses ، Software engineering
رده :
QA
76
.
76
.
A65
.
I52
2000
1275. 3rd International Conference on Software Engineering, May 10-12, 1978; Sponsored by IEE Computer Society, National Bureau of Standards ]and[ ACM Sigsoft
پدیدآورنده : International Conference on Software Engineering, 3rd, Atlanta, Georgia, 8791
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming )Electronic computers(-- Congresses
رده :
QA
76
.
I57
1978
1276. services :-technologies, infrastructures, tools, and applications for e-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Congresses ; Software engineering ; Congresses ; Electronic commerce ; Computer programs ; Congresses ;
1277. 16th International Conference on Software Engineering
پدیدآورنده : International Conference on Software Engineering )4991: Sorrento, Italy(
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Electronic digital computers- Programming- Congresses,، Software engineeing- Congresses,، Programming languages )Electronic computers(- Congresses
1278. 13th International conference on Software Engineering, Austin,Texas May 13-16, 1991
پدیدآورنده : / Sponsored by: ACM special Interest Group on Software Engineering IEEE Computer Society Technical Committee on Software Engineering
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Software engineering -- Congresses
رده :
QA
76
.
758
.
I5
1991
1279. xi, 306 p. :
پدیدآورنده : Asra Q. Nomani.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
